Sokoban Solver Statistics

Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?			Floors	Boxes	Lower Bound	BP
	Sokoban Solver Statistics - Festival 3.1 - Sven Egevad Sharpen Date: 2023-06-05
Solved levels	226005	34072	14582	144 of 153	43	4	6		Total	18761	5296	10210	17456

Filter

Solved levels	226005	34072	14582	144 of 153	43	4	6		Total	18761	5296	10210	17456

Sokoban Solver Statistics - Festival 3.1 10 minutes - Sven Egevad Sharpen
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1	1492	490	5	✓				19	16	156	21	374	406
2	4072	333	206	✓				19	16	190	65	1	81
3	610	196	59	✓	✓			11	11	81	32	72	72
4	420	122	473	✓				11	11	81	32	36	64
5	248	51	2	✓	✓			11	12	65	23	1	29
6	1847	213	101	✓				13	12	100	36	5	37
7	905	122	94	✓				13	15	119	46	32	42
8	1286	234	205	✓				13	13	109	36	52	70
9	738	152	19	✓				13	13	105	28	44	54
10	1894	188	110	✓				17	15	190	76	14	72
11	1514	152	150	✓				14	14	143	58	24	42
12	1148	88	203	✓				14	14	102	19	18	78
13	1105	310	102	✓				12	16	108	24	140	168
14	1053	166	18	✓				13	13	109	37	28	48
15	739	126	6	✓				13	13	108	36	28	44
16	1149	192	16	✓				13	13	108	36	28	48
17	819	114	80	✓				13	13	98	26	28	48
18	1079	86	169	✓				13	13	98	26	28	48
19	903	212	49	✓				13	13	108	36	40	66
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
20	437	46		✓	✓			13	11	64	10	14	36
21	156	37	1	✓	✓			9	10	49	14	5	19
22	641	146	2	✓				11	11	81	28	40	50
23	3073	340	156	✓				16	16	156	60	72	86
24	97	21	1	✓	✓			9	9	32	4	5	13
25	4864	932	575	✓		✓ Festival 3.1		19	16	188	40	740	756
26	627	66	128	✓				14	11	95	33	20	36
27	108	20		✓	✓			9	11	51	16	6	14
28	274	34	1	✓				11	11	68	17	34	34
29	638	102	21	✓	✓			17	9	89	26	8	28
30	1931	224	220	✓				17	17	179	52	16	40
31	1892	238	209	✓				17	17	179	52	16	48
32	193	28	1	✓	✓			11	9	53	15	14	24
33	103	28		✓	✓			10	11	41	8	10	24
34	139	24	1	✓	✓			11	8	45	14	14	16
35	3991	402	231	✓				17	18	209	80	7	136
36	3984	366	214	✓				17	18	209	80	7	138
37	2682	370	211	✓				17	18	209	81	9	146
38	4362	501	230	✓				19	17	239	88	4	113
39	5572	510	208	✓				19	17	239	89	5	118
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
40	4360	491	243	✓				19	17	228	77	4	121
41	4220	437	165	✓				19	17	216	70	4	121
42				✕			✓	19	17	215	83	82	100
43	5487	478	345	✓		✓ Festival 3.1		19	17	215	84	82	106
44				✕			✓	19	17	215	85	82	108
45				✕		✓ Festival 3.0		19	17	215	86	84	160
46	5873	500	222	✓		✓ Festival 3.1		19	17	213	84	84	160
47	695	96	3	✓				11	13	75	25	28	42
48	641	84	137	✓				11	13	75	26	26	46
49	1007	138	104	✓				13	13	97	33	32	44
50	1233	104	38	✓				13	13	97	34	36	42
51	678	118	3	✓				13	13	89	26	26	66
52	4300	336	233	✓				17	17	222	93	1	56
53	3940	358	445	✓				17	17	221	93	1	74
54	3860	250	182	✓				17	17	173	43	24	60
55				✕			✓	23	23	407	162	1	168
56	6020	632	231	✓				19	19	258	81	64	190
57	6340	668	404	✓				19	19	258	85	56	164
58	5235	478	254	✓				19	18	230	76	56	164
59	651	102	2	✓				13	15	96	26	22	38
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
60				✕				19	19	143	36	36	52
61	2748	308	228	✓				19	19	156	52	44	100
62				✕			✓	19	19	152	48	60	132
63	584	148	208	✓				17	9	82	28	34	54
64	175	44	6	✓	✓			15	9	70	27	8	36
65	509	76	16	✓				11	16	82	27	32	54
66	342	54	1	✓	✓			9	13	62	18	8	36
67	130	30	1	✓	✓			12	8	37	9	4	16
68	1525	363	203	✓				16	16	123	23	113	303
69	243	32	1	✓	✓			14	14	76	12	20	32
70	318	40		✓	✓			12	12	74	18	14	20
71	217	34	1	✓	✓			9	13	64	18	12	32
72	409	90	8	✓	✓			19	9	61	14	18	56
73	845	86	3	✓				11	17	106	26	10	54
74	1909	290	195	✓				19	17	184	56	20	62
75	2051	338	185	✓				19	17	184	56	26	66
76	1181	166	21	✓				19	17	130	20	20	58
77	1538	208	141	✓				17	16	145	39	28	72
78	1132	146	197	✓				19	11	115	28	42	80
79	869	158	27	✓				15	11	96	28	66	80
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
80	2580	377	36	✓				15	11	95	27	59	85
81	615	62	1	✓				11	11	71	22	32	34
82	467	74	6	✓	✓			9	15	85	32	30	32
83	439	76	1	✓				9	15	77	26	34	42
84	288	60	1	✓	✓			13	13	64	16	16	44
85	2318	652	33	✓				15	15	120	36	64	86
86	1288	260	212	✓				14	13	113	34	24	122
87	2661	713	25	✓				15	13	112	26	141	167
88	293	38	1	✓	✓			13	10	70	15	22	30
89	1636	376	14	✓				13	15	107	21	94	124
90	2623	413	216	✓				13	15	115	30	77	131
91	1735	375	145	✓				13	15	111	24	97	133
92	1218	178	1	✓				17	17	122	14	60	134
93	1276	234	120	✓				13	13	98	29	28	88
94	441	125	1	✓	✓			13	13	56	14	9	45
95	103	18	1	✓	✓			11	11	45	8	12	14
96	806	114	5	✓	✓			11	17	91	23	8	26
97	2198	236	202	✓				19	17	176	46	32	66
98	963	142	38	✓				17	17	118	22	38	66
99	1426	432	13	✓				18	13	108	18	294	378
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
100	1224	393	44	✓	✓			18	13	105	17	293	371
101	607	94	2	✓				13	13	93	24	28	66
102	3072	1373	2	✓				19	17	206	46	973	1041
103	4831	1575	204	✓				19	17	206	45	941	1287
104	4620	1481	204	✓				19	17	206	46	971	1273
105	975	220	55	✓				19	17	139	29	44	102
106	1467	244	208	✓				19	17	139	30	44	132
107	1457	273	204	✓				19	17	139	32	53	145
108	236	60	1	✓	✓			15	9	57	11	10	40
109	380	44	1	✓	✓			13	14	75	9	30	44
110	987	239	11	✓				12	13	83	19	221	227
111	493	70	2	✓	✓			19	9	75	15	2	54
112	2549	230	204	✓				19	15	142	30	4	74
113	1862	224	203	✓				19	15	147	33	8	64
114	2798	302	203	✓				19	15	146	32	8	64
115	3335	254	243	✓				19	15	142	30	22	96
116	1557	146	131	✓				19	15	142	30	20	90
117	1975	170	257	✓				19	15	142	31	22	102
118	1012	234	177	✓				13	13	87	22	20	70
119	1418	266	321	✓				17	13	123	34	40	88
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
120				✕				17	13	116	27	40	100
121	1207	178	9	✓				19	12	126	30	28	74
122	1100	138	155	✓				19	12	126	31	30	84
123	1050	167	263	✓				19	12	126	31	31	81
124	525	104	2	✓	✓			19	11	97	18	40	68
125	551	102	1	✓	✓			13	11	63	14	40	66
126	583	63	1	✓	✓			15	11	81	11	11	27
127	423	55	1	✓	✓			15	11	81	11	15	37
128	4920	640	295	✓				19	17	183	48	110	200
129	4768	662	350	✓				19	17	179	48	110	220
130	325	64	1	✓	✓			15	11	65	10	14	32
131	476	41	1	✓	✓			15	10	64	9	11	27
132	233	34	1	✓	✓			10	12	55	10	14	24
133	183	30		✓	✓			11	13	66	12	4	18
134	747	104	218	✓	✓			17	13	108	23	34	62
135	909	152	36	✓				17	17	143	28	48	108
136	1385	330	29	✓				19	13	117	22	40	90
137	770	178	13	✓	✓			17	13	103	18	36	68
138	40	11		✓	✓			7	8	18	4	5	11
139	535	110	37	✓				15	9	78	22	26	64
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
140	836	155	1	✓	✓			13	13	71	19	11	47
141	408	81	2	✓	✓			13	12	62	15	13	49
142	475	84	1	✓	✓			13	12	62	15	12	46
143	1119	174	9	✓				19	17	149	18	62	104
144	1964	331	94	✓				19	15	139	29	167	217
145	2629	414	108	✓				19	17	179	43	202	324
146	1035	194	20	✓				19	11	108	19	50	70
147				✕			✓	19	16	176	58	229	371
148	1066	150	209	✓				17	11	99	24	36	82
149	749	120	4	✓	✓			13	13	73	14	30	70
150	1281	192	37	✓				15	13	96	22	150	170
151	971	246	3	✓				18	17	128	21	138	170
152	463	58	2	✓	✓			17	9	81	20	38	44
153				✕			✓	19	17	185	49	11	137
Solved levels	226005	34072	14582	144 of 153	43	4	6		Total	18761	5296	10210	17456
Solved levels, grand total	226005	34072	14582	144 of 153	43	4	6		Grand total	18761	5296	10210	17456


Solver	Festival
Version	3.1
Author	Yaron Shoham
Time limit	10 minutes
Solver settings	Default settings
Computer processor (CPU)	Intel(R) Core(TM) i7-10700F

Sokoban Solver Statistics Contact Sokoban Wiki LogoProgramming and Design: Brian Damgaard, Denmark

Large Test Suite Open Test Suite XSokoban Test Suite

Sokoban Solver Statistics - Festival 3.1 - Sven Egevad Sharpen